Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Hay una página llamada «Cálculo lambda» en esta wiki.
- En lógica matemática, el cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y…45 kB (6137 palabras) - 23:56 27 ene 2024
Los Caballeros del Cálculo Lambda (Knights of the Lambda Calculus en inglés) es un grupo semi-ficticio de hackers expertos en Lisp y Scheme. El nombre…2 kB (249 palabras) - 17:05 10 oct 2023- El cálculo lambda simplemente tipado ( λ → {\displaystyle \lambda ^{\to }} ) es una teoría de tipos basada en el cálculo de lambda con un único constructor…6 kB (748 palabras) - 04:18 14 abr 2024
- tensorial Además: Cálculo lógico Cálculo relacional Cálculo lambda Cálculo pi En Medicina: Cálculo es el nombre que se le da a un trozo de material sólido…2 kB (157 palabras) - 21:39 3 mar 2019
- Martin-Löf, el Sistema F de Jean-Yves Girard y el Cálculo de Construcciones. En el cálculo lambda tipado, los tipos juegan un papel similar al de los…3 kB (372 palabras) - 17:12 19 mar 2020
- profesor entre 1929 y 1967. Su obra más conocida es el desarrollo del cálculo lambda, y su trabajo de 1936 que muestra la existencia de problemas indecidibles…6 kB (500 palabras) - 21:14 24 dic 2023
- el fundamento del cálculo lambda, al eliminar el último tipo de variable de éste: la variable lambda. En LC las expresiones lambda (usadas para permitir…20 kB (2732 palabras) - 13:28 27 abr 2024
- algebraicas. Según este punto de vista, los lenguajes basados en el cálculo lambda (tales como Lisp, ISWIM, y Scheme) son lenguajes a nivel de valores…2 kB (331 palabras) - 15:23 21 mar 2020
física para designar a un tipo de barión, el barión lambda. En biología designa al virus fago lambda (Enterobacteria fago λ), usado en la replicación de…9 kB (854 palabras) - 05:34 13 mar 2024- El cálculo de construcciones (CoC) es un lambda-cálculo tipificado de alto nivel que contiene un álgebra de tipos. CoC permite definir funciones por ejemplo…972 bytes (121 palabras) - 12:03 14 abr 2023
- En el ámbito de la programación, una expresión lambda, también denominada función lambda, función literal o función anónima, es una subrutina definida…68 kB (7985 palabras) - 19:41 27 sep 2023
- El cálculo variacional de Malliavin, nombrado así por Paul Malliavin, generaliza el cálculo de variaciones de funciones a procesos estocásticos. El cálculo…9 kB (1140 palabras) - 06:15 11 dic 2019
\left\lbrace {\lambda ,{\frac {1}{1-\lambda }},{\frac {\lambda -1}{\lambda }},{\frac {1}{\lambda }},{\frac {\lambda }{\lambda -1}},1-\lambda }\right\rbrace…23 kB (3148 palabras) - 12:52 11 nov 2023- años 1960, era la búsqueda de modelos del cálculo lambda. De forma puramente sintáctica, el cálculo lambda permite representar funciones que toman otras…1 kB (189 palabras) - 16:12 25 oct 2019
- indecidibilidad, equivalencia de los correspondientes problemas de cálculo combinatorio para términos lambda; la indecidibilidad, tesis de facto subyacente en el campo…1 kB (147 palabras) - 22:32 25 abr 2019
- de lenguajes de programación es la letra griega lambda en minúsculas. Este uso deriva del cálculo lambda, un modelo computacional ampliamente usado por…10 kB (1278 palabras) - 21:54 25 ene 2024
- Sistema U (categoría Cálculo lambda)Sistema U− son sistemas de tipos puros, es decir, formas especiales de un cálculo lambda tipado con un número arbitrario de géneros, axiomas y reglas (o dependencias…6 kB (695 palabras) - 17:03 10 oct 2023
- Sistema B, C, K, W (categoría Cálculo lambda)axioma sentencial F → A. Lógica combinatoria Cálculo lambda Hendrik Pieter Barendregt (1984) The Lambda Calculus, Its Syntax and Semantics, Vol. 103 in…4 kB (467 palabras) - 21:27 24 ene 2021
- Church en 1936 con el concepto de "calculabilidad efectiva" basada en su cálculo lambda y por Alan Turing basándose en la máquina de Turing. Los dos enfoques…5 kB (634 palabras) - 20:11 30 ene 2024
- independiente, la imposibilidad de la existencia de tal algoritmo, usando el cálculo lambda en el caso de Church y la máquina de Turing en el caso de Turing. Posteriormente…9 kB (1270 palabras) - 20:08 30 ene 2024
- efectivamente calculable la función-definible. Empleó la notación del "cálculo lambda" para poder expresar de un modo estándar cualquier fórmula matemática
- {\displaystyle -\lambda T_{i,j-1}^{l+1/2}+2\left(1+\lambda \right)T_{i,j}^{l+1/2}-\lambda T_{i,j+1}^{l+1/2}=\lambda T_{i-1,j}^{l}+2\left(1-\lambda \right)T_{i
- gravitatorio unidos de la forma donde t σ λ {\displaystyle t_{\sigma }^{\lambda }} (el "tensor de energía" del campo gravitatorio) esta dado por Los motivos